2

Learning schema mappings

Year:
2013
Language:
english
File:
PDF, 384 KB
english, 2013
3

Recursion in a Quantifier vs. Elementary Induction

Year:
1979
Language:
english
File:
PDF, 595 KB
english, 1979
4

Generalized quantifiers and pebble games on finite structures

Year:
1995
Language:
english
File:
PDF, 4.18 MB
english, 1995
5

Data exchange: getting to the core

Year:
2005
Language:
english
File:
PDF, 255 KB
english, 2005
11

Reverse data exchange

Year:
2011
Language:
english
File:
PDF, 400 KB
english, 2011
15

Can Datalog Be Approximated?

Year:
1997
Language:
english
File:
PDF, 452 KB
english, 1997
17

Conjunctive-Query Containment and Constraint Satisfaction

Year:
2000
Language:
english
File:
PDF, 310 KB
english, 2000
19

Why not negation by fixpoint?

Year:
1991
Language:
english
File:
PDF, 1.23 MB
english, 1991
21

Data exchange: semantics and query answering

Year:
2005
Language:
english
File:
PDF, 386 KB
english, 2005
23

How to define a linear order on finite models

Year:
1997
Language:
english
File:
PDF, 2.07 MB
english, 1997
24

Foreword

Year:
2000
Language:
english
File:
PDF, 32 KB
english, 2000
25

A Dichotomy in the Complexity of Propositional Circumscription

Year:
2004
Language:
english
File:
PDF, 218 KB
english, 2004
26

Phase transitions of PP-complete satisfiability problems

Year:
2007
Language:
english
File:
PDF, 254 KB
english, 2007
27

Computational Complexity of Simultaneous Elementary Matching Problems

Year:
1999
Language:
english
File:
PDF, 191 KB
english, 1999
28

Unification Algorithms Cannot Be Combined in Polynomial Time

Year:
2000
Language:
english
File:
PDF, 236 KB
english, 2000
29

0–1 Laws and decision problems for fragments of second-order logic

Year:
1990
Language:
english
File:
PDF, 2.02 MB
english, 1990
30

Infinitary logics and 0–1 laws

Year:
1992
Language:
english
File:
PDF, 2.07 MB
english, 1992
31

The expressive power of stratified logic programs

Year:
1991
Language:
english
File:
PDF, 994 KB
english, 1991
33

The complexity of minimal satisfiability problems

Year:
2003
Language:
english
File:
PDF, 214 KB
english, 2003
45

On the Data Complexity of Consistent Query Answering

Year:
2015
Language:
english
File:
PDF, 811 KB
english, 2015
46

Composing schema mappings

Year:
2005
Language:
english
File:
PDF, 456 KB
english, 2005
47

On preservation under homomorphisms and unions of conjunctive queries

Year:
2006
Language:
english
File:
PDF, 216 KB
english, 2006
49

The Complexity of Mining Maximal Frequent Subgraphs

Year:
2014
Language:
english
File:
PDF, 753 KB
english, 2014
50

The quest for a logic for polynomial-time computation

Year:
2011
Language:
english
File:
PDF, 105 KB
english, 2011